]> dgit.raspbian.org Git - gnome-shell.git/commit
appFavorites: Update RENAMED_DESKTOP_IDS
authorAsciiWolf <mail@asciiwolf.com>
Thu, 11 Apr 2019 19:48:21 +0000 (19:48 +0000)
committerAsciiWolf <mail@asciiwolf.com>
Thu, 11 Apr 2019 21:28:49 +0000 (23:28 +0200)
commitf7d117488ba4a87ecf79395628e29649050dfdfe
treeda5accce0941a6a83602ba500adb69485f408891
parent244a329ee76b90c912b90f367ced166abc8d0356
appFavorites: Update RENAMED_DESKTOP_IDS

Fixes https://gitlab.gnome.org/GNOME/gnome-shell/issues/1160
js/ui/appFavorites.js